Van Larrhoven encoding